package masml2jade;

public class Protocol {

}
